Ian Horrocks - PDFSEARCH.IO - Document Search Engine

Ian Horrocks
Results: 78

#	Item
71	PDF Document Add to Reading List Source URL: www.image.ece.ntua.gr Language: English - Date: 2014-05-12 07:31:46 Ontology Knowledge representation Information science Knowledge Knowledge engineering Web Ontology Language Description logic Ian Horrocks Knowledge representation and reasoning Information Science Semantic Web
72	Representation and Reasoning Description Logics Markus Krötzsch, Dresden University of Technology František Simancˇík, Google Ian Horrocks, Oxford University Add to Reading List Source URL: korrekt.org Language: English - Date: 2014-05-15 03:47:19 Science Data Information science Knowledge representation Knowledge engineering Web Ontology Language Description logic Tbox Abox Ontology Information Semantic Web
73	Western Counties Regional Library Fall 2007 Compiled by Ian White Add to Reading List Source URL: www.westerncounties.ca Language: English - Date: 2009-02-03 13:18:21 Norman Horrocks Yarmouth Consolidated Memorial High School Yarmouth Massachusetts Nova Scotia Western Counties Regional Library Provinces and territories of Canada
74	A Hypertableau Calculus for SHIQ Boris Motik, Rob Shearer, and Ian Horrocks University of Manchester, UK Abstract. We present a novel reasoning calculus for the Description Logic SHIQ. In order to reduce the nondetermini Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Information Knowledge representation Knowledge engineering Information science Non-classical logic Semantic reasoner Description logic Method of analytic tableaux Web Ontology Language Semantic Web Logic Science
75	Conjunctive Query Entailment for SHOQ Birte Glimm? , Ian Horrocks, and Ulrike Sattler [glimm,horrocks,sattler]@cs.man.ac.uk The University of Manchester, UK Abstract. An important reasoning task, in addition to the stan Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Conjunctive query Database theory FO
76	Ontology Reuse: Better Safe than Sorry Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov and Ulrike Sattler The University of Manchester School of Computer Science Manchester, M13 9PL, UK {bcg, horrocks, ykazakov, satt Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Information science Knowledge representation Technical communication Z notation Ontology Semantic Web Description logic Interpretation S Mathematical logic Logic Science
77	Description Logics and OWL Based on slides from Ian Horrocks Add to Reading List Source URL: www2.informatik.hu-berlin.de Language: English - Date: 2012-11-21 01:48:12 Data Web Ontology Language Ontology Semantic Web Stack RDF Schema Description logic University of Manchester Institute of Science and Technology Resource Description Framework Semantic Web Information World Wide Web Consortium
78	PDF Document Add to Reading List Source URL: sunsite.informatik.rwth-aachen.de Language: English - Date: 2006-05-16 05:09:52 Semantic Web Knowledge representation Information science Knowledge engineering Semantic reasoner Description logic Open Biomedical Ontologies KAON Ian Horrocks Ontology Information Science

UPDATE